More from this Author

Automated Deduction - CADE 27

by Pascal Fontaine (Editor)

Frontiers of Combining Systems

by Pascal Fontaine (Editor), Christophe Ringeissen (Editor), Renate Schmidt (Editor)

Frontiers of Combining Systems

by Pascal Fontaine (Editor), Christophe Ringeissen (Editor), Renate Schmidt (Editor)